Extending Uml Class Diagrams to Capture Additional Association Semantics
نویسندگان
چکیده
The Unified Modeling Language (UML) has gained much popularity in recent years. In UML, class diagrams provide notations for modeling the semantics of the structural relationships, or associations, that occur between objects. Object Relationship Notation (ORN) provides another declarative scheme that permits the semantics of such associations to be modeled and then defined to a Database Management System (DBMS). ORN has been incorporated into entity-relationship diagrams, a prototype object DBMS, and a database modeling tool called the ORN Simulator. Both ORN and UML allow for cardinality constraints to be defined for both ends of an association using compatible notations; however, only ORN allows the relative bindings between related objects to be specified based on these constraints. Bindings provide important semantics relevant to the deletion of related objects within a complex object and the destruction and modification of internal linkages. Here, we explain the binding notations of ORN and show how they can be added to UML class diagrams in order to capture additional association semantics.
منابع مشابه
The Difficulty of Mapping Modeled Associations to SQL
Entity-Relationship and UML class diagrams allow users to model the structural relationships, i.e., associations, that occur between entities or objects. By extending these diagrams with Object Relationship Notation (ORN), users can model the semantics of a variety of common association types with improved precision. Mapping these semantics to SQL, however, is very difficult. Here, we provide a...
متن کاملChecking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of formal semantics. This article introduces formal semantics for UML based on algebraic abstract data types. We currently consider only class and object diagrams. These diagrams include class structures, associations, multip...
متن کاملSystem Model Semantics of Class Diagrams
Defining semantics for UML is a difficult task. Disagreements in the meaning of UML constructs as well as the size of UML are major obstacles. In this report, we describe our approach to define the semantics for UML. Semantics is defined denotationally as a mapping into our semantics domain called the system model [4, 5, 6]. We demonstrate our approach by defining the semantics for a comprehens...
متن کاملChecking the Consistency of UML
This article presents a formal semantics for UML based on algebraic abstract types. Currently we only consider class diagrams and object diagrams. These diagrams include class structure, association, car-dinality expression, constraint, instance as well as specialization relationship. We give a formal semantics for each of these elements by interpreting the structure of a class as an abstract d...
متن کاملConcurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams
We propose Concurrent Transaction Frame Logic (CTFL) as a language to provide formal semantics to UML activity and class diagrams. CTFL extends first-order Horn logic with object-oriented class hierarchy and object definition terms, and with three new logical connectives that declaratively capture temporal and concurrency constraints on updates and transactions. CTFL has coinciding, sound and r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005